0.40/0.40	unsat
