41.95/44.40	unsat
