393.21/394.00	unsat
