1336.78/1340.13	unsat
