42.88/44.56	unsat
