42.75/43.21	unsat
