39.68/44.00	unsat
