0.41/0.47	unsat
