43.95/44.04	unsat
