6.19/6.23	unsat
