313.50/317.24	unsat
