40.84/44.77	unsat
