336.68/342.13	unsat
