313.12/318.81	unsat
