1.48/3.03	unsat
