47.53/47.61	unsat
