3.18/3.47	unsat
