42.79/42.93	unsat
