44.66/46.93	unsat
