47.41/48.48	unsat
