47.24/48.94	unsat
