0.17/0.28	unsat
