8.26/8.39	unsat
