317.86/324.88	unsat
