309.26/313.08	unsat
