1.30/5.95	unsat
