42.31/44.97	unsat
