301.58/302.43	unsat
