42.75/44.47	unsat
