43.67/43.86	unsat
