312.22/312.95	unsat
