1.18/3.03	unsat
