1.20/3.03	unsat
