42.91/44.11	unsat
