312.02/312.65	unsat
