43.83/43.91	unsat
