47.03/48.68	unsat
