42.56/47.04	unsat
