43.66/44.45	unsat
