6.19/8.79	unsat
