47.09/48.29	unsat
