5.19/6.32	unsat
