0.24/0.32	unsat
