44.68/46.49	unsat
