47.29/49.14	unsat
