8.14/12.39	unsat
