43.60/44.34	unsat
