8.63/14.39	unsat
