40.92/44.24	unsat
